Psychopathy is a disorder characterized by severe and frequent moral violations in multiple domains of life. Numerous studies have shown psychopathy-related limbic brain abnormalities during moral processing; however, these studies only examined negatively valenced moral stimuli. Here, we aimed to replicate prior psychopathy research on negative moral judgments and to extend this work by examining psychopathy-related abnormalities in the processing of controversial moral stimuli and positive moral processing. Incarcerated adult males (N = 245) completed a functional magnetic resonance imaging protocol (...) on a mobile imaging system stationed at the prison. Psychopathy was assessed using the Hare Psychopathy Checklist–Revised (PCL-R). Participants were then shown words describing three types of moral stimuli: wrong (e.g., stealing), not wrong (e.g., charity), and controversial (e.g., euthanasia). Participants rated each stimulus as either wrong or not wrong. PCL-R total scores were correlated with not wrong behavioral responses to wrong moral stimuli, and were inversely related to hemodynamic activity in the anterior cingulate cortex in the contrast of wrong > not wrong. In the controversial > noncontroversial comparison, psychopathy was inversely associated with activity in the temporal parietal junction and dorsolateral prefrontal cortex. These results indicate that psychopathy-related abnormalities are observed during the processing of complex, negative, and positive moral stimuli. (shrink)

This graduate-level_text by a master in the field builds a function theory of the rational field that combines aspects of classical and intuitionist analysis. Topics include recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.

The crux of the dispute between formalism and intuitionism, it is held, is not whether certain entities exist or not, but how the term function shall be used in mathematics. The identification of effective definition with general recursion fails because an undefined function lies concealed beneath the requirement of a finite number of substitutions, and a fresh characterization of effective definition is sought in terms of a hierarchy of ordinal recursions.A correspondence exists between primitive recursive properties and direct proofs, of (...) irrationality and transcendence for instance, and between general recursive properties and indirect proofs.Mathematics is a concept creating activity and the distinction between a formal mathematics devoid of meaning, at one level, and a meaningful metamathematics at the next is considered to be untenable.RésuméLa controverse entre les formalistes et les intuitionistes ne repose pas, considére‐t‐on, sur l'existence ou la non‐existence de certaines entités, mail sur l'usage du terme fonction en mathématiques. L'identification de la définition effective avec la récursion générate n'est pas valable parce qu'une fonction indéfinié est dissimulée sous la nécessité d'un nombre fini de substitutions, et une nouvelle caractérisation de définition effective est recherchée sous forme de hiérarchie de récursions ordinates.II existe, d'une part, une correspondance entre les propriétés primitives récursives et les preuves directes, d'irrationalité et de transcendance par exemple, et, d'autre part, entre les propriétés récursives générates et les preuves par l'absurde.Les mathématiques sont une activité créatrice de concepts, et la distinction entre les mathématiques formelles dépourvues de sens et, sur le plan supérieur, une méta‐mathématique chargée de sens, ne semble pas justifiée. (shrink)

This paper attempts to explore a number of conceptual issues surrounding genetic testing. It looks at the meaning of the terms, genetic information and genetic testing in relation to the definition set out by the Advisory Committee on Genetic Testing in the UK, and by the Task Force on Genetic Testing in the USA. It argues that the special arrangements that may be required for the regulation of genetic tests should not be determined by reference to the nature or technology (...) of the test, but by considering those morally relevant features that justify regulation. Failure to do so will lead to the regulation of genetic tests that need not be regulated, and would fail to cover other tests which should be regulated. The paper also argues that there is little in the nature of the properties of gene tests, using DNA or chromosomes, that in itself justifies a special approach. (shrink)

The notion of autonomy commonly employed in medical ethics literature and practices is inadequate on three fronts: it fails to properly identify nonautonomous actions and choices, it gives a false account of which features of actions and choices makes them autonomous or nonautonomous, and it provides no grounds for the moral requirement to respect autonomy. In this paper I offer a more adequate framework for how to think about autonomy, but this framework does not lend itself to the kinds of (...) practical application assumed in medical ethics. A general problem then arises: the notion of autonomy used in medical ethics is conceptually inadequate, but conceptually adequate notions of autonomy do not have the practical applications that are the central concern of medical ethics. Thus, a revision both of the view of autonomy and the practice of “respect for autonomy” are in order. (shrink)

I propose to begin with some fairly unexciting and uncontroversial remarks about possibility-statements, and then in their light to examine two problems philosophers have raised about certain statements of this kind which might be made in Christian theology where it touches on the doctrine of the Incarnation.

The proposition that a decreasing sequence of ordinals necessarily terminates has been given a new, and perhaps unexpected, importance by the rôle which it plays in Gentzen's proof of the freedom from contradiction of the “reine Zahlentheorie.” Gödel's construction of non-demonstrable propositions and the establishment of the impossibility of a proof of freedom from contradiction, within the framework of a certain type of formal system, showed that a proof of freedom from contradiction could be found only by transcending the axioms (...) and proof processes of that formal system. Gentzen's proof succeeds by utilisingtransfinite inductionto prove that certain sequences of reduction processes, enumerated by ordinals less than ε (the first ordinal to satisfy ε = ὡ) are finite. Were it possible to provethe restricted ordinal theorem, that a descending sequence of ordinals, less thanε, is finite, in Gentzen's “reine Zahlentheorie,” then it would be possible to determine a contradiction in that number system. In his paper, Gentzen proves the theorem of transfinite induction, which he requires, by an intuitive argument. There is also a method of reducing transfinite induction, for ordinals less than ε, to a number-theoretic principle given by Hilbert and Bernays, and a similar method by Ackermann. None of these proofs of transfinite induction isfinitist. (shrink)

‘Jason…chosen leader because his superior declines the honour, subordinate to his comrades, except once, in every trial of strength, skill, or courage, a great warrior only with the help of magical charms, jealous of honour but incapable of asserting it, passive in the face of crisis, timid and confused before trouble, tearful at insult, easily despondent, gracefully treacherous in his dealings with the love-sick Medea but cowering before her later threats and curses, coldly efficient in the time-serving murder of an (...) unsuspecting child , reluctant even in marriage.’ So Carspecken put the case against Jason's heroism. In the face of such an indictment, Lawall's plea in mitigation, ‘it must be admitted that [Jason] often reveals the qualities of a true gentleman’, seems somehow inadequate. Criticism since Carspecken has found various overlapping categories for Jason which both take account of the earlier negative judgements and preserve the centrality of his ‘personality’ and character in the poem: Jason is the quiet diplomat who works through consensus rather than force, his is a heroism of sex-appeal, he is an anti-hero, the embodiment of Sceptic ‘suspension of judgement’, or, alternatively, he is ‘one of us’, credible and lifelike. Carspecken himself tried a different tack: the poem is concerned not with individual heroism but with the heroism of the group. (shrink)

Mr D. H. Mellor, in his article of this title in Religious Studies , Vol. 5 , distinguishes three senses of words such as ‘probable’ which might be used in a religious context, especially in that of attempted theistic proofs: statistical, subjective, and inductive probability. In each case he concludes that it is misleading to use these words in such contexts at all. With his discussion of the second I do not wish to quarrel; but there seem to me to (...) be serious defects in his discussions of the first and third. (shrink)

Alberto Cortes, in [1], attempts to show that Leibniz's Principle of The Identity of Indiscernibles is a principle restricted to individuals, and that photons appear to violate L. L is stated by Leibniz as “no two substances are completely similar, or differ solo numero.” In second-order quantification theory with identity L becomes.

The ‘traditional’ view among philosophical theologians, that God is eternal not merely in the sense of being everlasting but in the sense of being outside time altogether, has come under sharp criticism in recent years, both from biblical theologians and from philosophers. It is against the latter form of attack, particularly as represented by the detailed criticisms of Professor Nelson Pike, that I wish to try and defend the notion of a divine timelessness.

When philosophers approach philosophy of religion, they typically ask two questions: are there any sound arguments to prove the existence of God; and is talk about God even rationally intelligible? Theologians, for their part, primarily expound the meaning and relevance of Christianity. I am by profession a philosopher, but apart from Secs. VI and VII I am here writing as a puzzled twentieth-century man. My prime worry is whether we philosophers and theologians are beginning with the right questions.

Each stage has its difficulties and its points of interest, and I will examine each in turn.

Sham surgery is a controversial and rarely used component of randomised clinical trials evaluating surgical interventions. The recent use of sham surgery in trials evaluating efficacy of intracerebral fetal tissue grafts in Parkinson’s disease has highlighted the ethical concerns associated with sham surgery controls. Macklin, and Dekkers and Boer argue vigorously against use of sham surgery controls. Macklin presents a broad argument against sham surgery controls while Dekkers and Boer present a narrower argument that sham surgery is unnecessary in the (...) specific setting of fetal tissue engraftment for Parkinson’s disease. I defend sham surgery controls against both these criticisms. Appropriate clinical trial design, sometimes including sham surgery, is needed to ensure that false positive trial results do not occur and endanger public safety. Results of a completed trial of fetal tissue grafting for Parkinson’s disease are used to illustrate the potential benefits of, and problems associated with, sham surgery controls. Sham surgery controls, however, should be employed only when absolutely necessary. I suggest criteria for appropriate use of sham surgery controls. (shrink)